Experiences of Using Formal Methods for Chemical Process Control Specification
نویسندگان
چکیده
منابع مشابه
Experiences of using formal methods for chemical process control speci"cation
This paper discusses the bene"ts of adding formal speci"cation in B to existing controller synthesis techniques, and some of the limitations of B for this area of application. Examples from case studies carried out in the `Object-oriented speci"cation of real-time and reactive systemsa (ROOS) project are given. ( 2000 Published by Elsevier Science ̧td. All rights reserved.
متن کاملExperiences Using Formal Methods for Requirements Modeling
This paper describes three cases studies in the lightweight application of formal methods to requirements modelling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into th...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملdevelopment of different optical methods for determination of glucose using cadmium telluride quantum dots and silver nanoparticles
a simple, rapid and low-cost scanner spectroscopy method for the glucose determination by utilizing glucose oxidase and cdte/tga quantum dots as chromoionophore has been described. the detection was based on the combination of the glucose enzymatic reaction and the quenching effect of h2o2 on the cdte quantum dots (qds) photoluminescence.in this study glucose was determined by utilizing glucose...
Experiences Using Lightweight Formal Methods for Requirements Modeling
This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 1998
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)40544-1